<?php

$cfg['general']['https_port'] = 443;